Domain theory - PDFSEARCH.IO - Document Search Engine

Domain theory
Results: 638

#	Item
221	Operational domain theory and topology of a sequential programming language Mart´ın Escard´o Ho Weng Kin Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2005-10-17 12:09:06 Model theory Metalogic Structure Continuous function Orbifold Sigma-algebra Mathematics Mathematical analysis Abstract algebra
222	Probabilistic Planning vs Replanning Iain Little and Sylvie Thi´ebaux National ICT Australia & Computer Sciences Laboratory The Australian National University Canberra, ACT 0200, Australia Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2009-07-10 09:25:03 Automated planning and scheduling Planning Domain Definition Language Motion planning NP PP Indeterminism Probability Theoretical computer science Computational complexity theory Applied mathematics
223	A Planning Based Framework for Controlling Hybrid Systems Johannes L¨ohr, Patrick Eyerich, Thomas Keller and Bernhard Nebel Albert-Ludwigs-Universit¨at Freiburg Institut f¨ur Informatik Georges-K¨ohler-Allee[removed] Add to Reading List Source URL: gki.informatik.uni-freiburg.de Language: English - Date: 2012-05-24 11:02:21 Science Planning Domain Definition Language State space Mathematical model Discretization State variable LTI system theory Automated planning and scheduling State observer Mathematics Control theory Applied mathematics
224	Asset pricing in the frequency domain: theory and empirics Ian Dew-Becker and Stefano Giglio 2nd April 2013 Abstract In many a¢ne asset pricing models, the innovation to the pricing kernel is a function of Add to Reading List Source URL: faculty.chicagobooth.edu Language: English - Date: 2014-05-26 18:15:26 Financial economics Control theory Digital signal processing Time series analysis Fourier analysis Shock Capital asset pricing model Impulse response Filter Mathematical finance Mathematics Mathematical analysis
225	The fragility of the Phillips curve: A bumpy ride in the frequency domain, October 2005 Add to Reading List Source URL: www.bis.org Language: English - Date: 2005-09-30 18:00:00 Statistics Signal processing Unemployment Filter theory Time series analysis Phillips curve NAIRU Linear filter Macroeconomic model Mathematical analysis Economics Digital signal processing
226	.nyc Auctions Guide for Participants for Landrush Auctions Version 1.0 Updated: 30 September[removed]The .nyc Auctions Guide for Auction Participants provides an overview of the .nyc Auction Process for Landrush Add to Reading List Source URL: www.ownit.nyc Language: English - Date: 2015-04-14 09:42:17 Commerce Game theory Auction Domain name auction Bid Proxy bid King Bidding fee auction Auctioneering Business Auction theory
227	– – DRAFT, extended abstract submitted to IFL 2014 – – Stream Processing for Embedded Domain Specific Languages Markus Aronsson Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Digital signal processing Filter theory Programming paradigms Hardware description languages Synchronous programming languages Lucid Dataflow programming SIGNAL Dataflow Computing Software engineering Computer programming
228	.nyc Auctions Guide for Participants for Landrush Auctions Version 1.0 Updated: 30 September[removed]The .nyc Auctions Guide for Auction Participants provides an overview of the .nyc Auction Process for Landrush Add to Reading List Source URL: auctions.nyc Language: English - Date: 2014-10-28 16:00:01 Commerce Game theory Auction Domain name auction Bid Proxy bid King Bidding fee auction Auctioneering Business Auction theory
229	Context made visible: On the structure of quantified noun phrases Kathryn Davidson (Yale) and Deanna Gagne (UConn) Sign languages sometimes make visible aspects of structure that are covert in spoken languages. Here we a Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:12:16 Semantics Finite model theory Syntactic categories Quantification Predicate logic Determiner Interpretation FO Domain Logic Theoretical computer science Linguistics
230	Canonical Number Systems over Imaginary Quadratic Euclidean Domains Attila Peth˝ o, P´eter Varga June 7th, 2011 Add to Reading List Source URL: www.cant.ulg.ac.be Language: English - Date: 2011-06-07 08:27:08 Commutative algebra Euclidean domain Polynomial Number Algebraic number theory Linear algebra Abstract algebra Algebra Ring theory

UPDATE